1. Counting, sampling and integrating : algorithms and complexity

by Jerrum, Mark.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Basel: Birkhauser Verlag, 2003Availability: Items available for loan: [Call number: 511.62 JER] (1).
2. Handbook of Logic and Proof Techniques for Computer Science

by Krantz, Steven G.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Basel: Birkhauser Verlag, 2002Availability: Items available for loan: [Call number: 004 KRA] (1).

Powered by Koha